Abstract type

Results: 1261



#Item
31

Extended Abstract: Type-Directed Reasoning for Probabilistic, Non-Compositional Resources Christopher Schwaab Edwin Brady

Add to Reading List

Source URL: tydeworkshop.org

- Date: 2017-11-13 07:34:26
    32

    Type Targeted Testing Eric L. Seidel, Niki Vazou, and Ranjit Jhala UC San Diego Abstract. We present a new technique called type targeted testing, which translates precise refinement types into comprehensive test-suites.

    Add to Reading List

    Source URL: goto.ucsd.edu

    - Date: 2014-10-20 15:46:33
      33

      Polymorphic Type Inference for the Named Nested Relational Calculus Jan Van den Bussche and Stijn Vansummeren∗ Abstract The named nested relational calculus is the canonical query language for the complex object databa

      Add to Reading List

      Source URL: alpha.uhasselt.be

      - Date: 2006-02-27 07:12:37
        34

        Parameterized Types for C++ Bjarne Stroustrup AT&T Bell Laboratories ABSTRACT: Type parameterization is the ability to defrne a type in terms of another, unspecifled, type. Versions of the parameterized type may then be

        Add to Reading List

        Source URL: www.usenix.org

        - Date: 2008-11-18 11:48:51
          35

          Programming type-safe transformations using higher-order abstract syntax Olivier Savary-Belanger1 , Stefan Monnier2 , and Brigitte Pientka1 1 2

          Add to Reading List

          Source URL: dl.dropboxusercontent.com

            36

            A WSDL-based type system for WS-BPEL? Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica Universit`a degli Studi di Firenze Abstract. We tackle the problem of providing rigor

            Add to Reading List

            Source URL: rap.dsi.unifi.it

            - Date: 2007-02-12 09:25:08
              37

              A WSDL-based type system for WS-BPEL∗ Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi Dipartimento di Sistemi e Informatica, Universit`a di Firenze March 28, 2006 Abstract

              Add to Reading List

              Source URL: rap.dsi.unifi.it

              - Date: 2007-02-12 10:05:21
                38

                Optimal Quasi-Interpolation by Quadratic C 1-Splines on Type-2 Triangulations Tatyana Sorokina and Frank Zeilfelder Abstract. We describe a new scheme based on quadratic C 1 -splines on type-2 triangulations approximatin

                Add to Reading List

                Source URL: www.math.utah.edu

                - Date: 2006-08-21 17:18:06
                  39

                  Two Lectures on Constructive Type Theory Robert L. Constable July 20, 2015 Abstract Main Goal: One goal of these two lectures is to explain how important ideas and problems

                  Add to Reading List

                  Source URL: www.cs.uoregon.edu

                  - Date: 2015-07-23 12:52:29
                    40

                    A Toolkit for Constructing Type- and Constraint-Based Program Analyses Alexander Aiken, Manuel Fahndrich, Je rey S. Foster, Zhendong Su University of California, Berkeley? ?? Abstract. BANE (the Berkeley Analysis Engin

                    Add to Reading List

                    Source URL: theory.stanford.edu

                    - Date: 2014-08-19 20:13:00
                      UPDATE